Global computing refers to computation over "global computers," i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

This book provides an overview of the various methods for creating and implementing efficient work processes. The author presents the most important tools for working on improvement projects such as process mapping, Ishikawa diagram, burn-down chart, or Pareto chart. Using successfully realized improvement projects from practice, the concrete implementation of process optimization is illustrated. In addition, it is shown how these methods, which originate from the production sector, can be successfully used in the office sector.

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.

This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis."

The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

This book provides an overview of the various methods for creating and implementing efficient work processes. The author presents the most important tools for working on improvement projects such as process mapping, Ishikawa diagram, burn-down chart, or Pareto chart. Using successfully realized improvement projects from practice, the concrete implementation of process optimization is illustrated. In addition, it is shown how these methods, which originate from the production sector, can be successfully used in the office sector.

Dieses Buch zeigt Wege zur effizienteren Gestaltung der Arbeitsablaufe in Unternehmen und Verwaltungen auf. Zunachst werden die theoretischen Grundlagen und die notwendigen Rahmenbedingungen fur eine erfolgreiche Prozessoptimierung erlautert. Im zweiten Teil wird anhand konkreter Beispiele aus der Praxis erklart, wie Ablaufe im Unternehmensalltag erfolgreich verbessert werden koennen. Die Anwendung der im ersten Teil beschriebenen Methoden und Tools wird anschaulich dargestellt und mit Tipps und Tricks erganzt. Abschliessend werden verschiedene Simulationen vorgestellt, welche in Teams und Gruppen von Mitarbeitenden zur Teambildung und zum besseren Verstandnis von effizienten Arbeitsablaufen eingesetzt werden koennen.

Studienarbeit aus dem Jahr 2011 im Fachbereich BWL - Rechnungswesen, Bilanzierung, Steuern, Note: 1,7, Philipps-Universitat Marburg, Sprache: Deutsch, Abstract: Der Begriff Corporate Governance (kurz CG) gehort mittlerweile fest zum Jargon der Wirtschaftswissenschaften. Das deutsche Pendant dieses Begriffs ist Unternehmensord-nung bzw. Unternehmensverfassung. Er subsumiert die Organisation von Leitung und Kontrolle in Unternehmen. Corporate Governance ist gepragt von rechtlichen Rahmen-bedingungen und kulturellen Einflussen. Diese Umstande lassen unterschiedliche Cor-porate Governance-Systeme entstehen, wie bspw. das anglo-amerikanische und deutsche CG-System. Special Purpose Acquisition Companies (kurz SPACs) sind borsennotierte, offentlich gehandelte und operativ untatige Unternehmen. Ziel der SPACs ist es, Gelder von Kapi-talanlegern zu sammeln. Diese Gelder werden verwendet, um ein nicht borsennotiertes Unternehmen durch dessen Ubernahme an der Borse zu platzieren. Folglich stellen SPACs neuartige Finanzierungsformen fur Unternehmen dar. Fur die Ubernahme hat das Management der SPACs ca. 24 Monate Zeit, was einen umfassenden Handlungs-spielraum der Fuhrungsriege postuliert. Wie jedes andere Unternehmen fugen sich SPACs - je nach Grundungsort - in ein Cor-porate Governance-System ein, welches deren Corporate Governance-Strukturen pragt. Diese Seminararbeit vergleicht die Unterschiede zwischen anglo-amerikanischem und deutschem Corporate Governance-System sowie das zugehorige Kapitalmarktumfeld. Anschliessend wird der Einfluss der beiden Systeme auf Corporate Governance-Strukturen von SPACs untersucht. Zentrale Fragestellungen werden dabei sein, ob systemrelevante Auspragungen existieren und inwieweit diese Einfluss auf Ausgestaltung, Handlungsfahigkeit des Management sowie Popularitat von SPACs haben

Studienarbeit aus dem Jahr 2012 im Fachbereich BWL - Allgemeines, Note: 1,0, Philipps-Universitat Marburg, Sprache: Deutsch, Abstract: Der Begriff Corporate Social Responsibility" (CSR) steht fur die gesellschaftliche Verantwortung von Unternehmen. Durch Bilanzierungsskandale wie bspw. beim US-Unternehmen Enron, die Umweltkatastrophe der Olbohrinsel Deepwater Horizon oder die fragwurdigen Arbeitsbedingungen beim Smartphonehersteller Foxconn ruckten Un-ternehmen mit negativen Schlagzeilen in den Mittelpunkt der Medien. Die Offentlich-keit entwickelte ein Bewusstsein dafur, dass nicht nur das Interesse der Eigentumer im Mittelpunkt unternehmerischen Handelns stehen soll. Vielmehr bedeutet gesellschaftli-che Verantwortung die Beachtung von unterschiedlichsten Interessengruppen bei der Gestaltung der Unternehmenspolitik. Beispielhaft sind hierfur Arbeitnehmer, Zulieferer, Konsumenten und Kommunen zu nennen. Um dieser Verantwortung gerecht zu werden, wurden auf nationalen Ebenen Richtlinien erlassen, welche eine transparente Arbeitsweise der Unternehmen sicherstellen und verschiedene Interessengruppen in die Unternehmenspolitik einbinden sollen. Daraufhin fuhrten einige Unternehmen verhaltensspezifische Kodizes, eine Umweltberichterstattung sowie einen CSR-Bericht ein. Ziel dieser Seminararbeit ist es zu uberprufen, ob und inwieweit die Unternehmen gesellschaftlich nachgefragter Berichterstattung nachkommen und somit auch die Interessen der Stakeholder berucksichtigt werden. Hierzu werden anhand eines standardisierten Rasters Daten erhoben und anschliessend empirisch untersucht. Der Blick richtet sich dabei auf die 100 grossten Aktiengesellschaften Australien

Das Buch beschaftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Satzen von Richard Buchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Worter, Baume, endliche und unendliche Baume. Jeder Teil endet mit Ubungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterfuhrende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

Der Autor stellt ein System vor, in dem technologische Prozesse definiert, graphisch modelliert und intelligente Informationsabfragen erstellt werden konnen. Er stellt detailliert ein Software-Tool unter MS-Windows vor."